invariant state

不变状态